((declare (in) float a) (declare (in) float b)
 (function sub
  (signature void (parameters)
   ((if (expression bool > (var_ref a) (constant float (0.0)))
     ((if (expression bool > (var_ref b) (constant float (0.0)))
       ((return))
       ()))
     ())))))
